d1be2cf5a6913dc6d765df9db52e8ef048273f74,src/org/basex/gui/view/tree/TreeView.java,TreeView,paintComponent,#Graphics#,129
Before Change
// highlights the focused node
if(focus()) {
highlightNode(g, focusedRect, focusedRectLevel, -1, false,
SHOW_ANCESTORS, SHOW_DESCENDANTS);
}
if(selection) markSelektedNodes(g);
After Change
getHeight(), this);
// highlights the focused node
if(focus()) highlightNode(g, 0, gui.context.focused, focusedRect,
focusedRectLevel, -1, false, SHOW_ANCESTORS, SHOW_DESCENDANTS);
if(selection) markSelektedNodes(g);